退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在可满足性实例中查找最小的不满足子公式
Renato Bruni; Antonio Sassano;
机译:精确选择最小不满意的子公式
机译:通过自适应核搜索逼近最小的不满足子公式
机译:在满意模理论中提取最小的不满意子公式
机译:在解决应用程序可满足性实例时发现和利用结构
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:通过找到小的不满意子公式来恢复满意或保持不满意
机译:在命题可满足性(SAT)问题的实例之间共享信息
机译:使用约束的可满足性在软件程序中查找错误的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。